Section: Partnerships and Cooperations

International Initiatives

Inria Associate Teams

BANANAS(http://www.loria.fr/~ringeiss/CHILI/bananas ) Automated design and autonomous control of hybrid solver cooperations. In order to tackle large scale instances and intricate problem structures, sophisticated solving techniques have been developed, combined, and hybridized to provide efficient solvers. A common idea to get more efficient and robust algorithms consists in combining several resolution paradigms in order to take advantage of their respective assets. Autonomous Search is a very attractive approach for designing adaptive systems with the capability of improving its solving performance by selecting and adapting its search strategies to the problem at hand. The main goal of the project is to apply the Autonomous Search approach to hybrid solver cooperations, by automating the selection and the cooperation of solvers, by tuning the cooperation parameters, and by adapting the cooperation during solving. The international partners are Technical University Federico Santa Maria, Valparaíso (Chile) — Department of Computer Science — Carlos Castro and Eric Monfroy; University of Chile (Chile) — Center for Mathematical Modeling — Jorge Amaya. The Inria principal investigator is Christophe Ringeissen.

Inria International Partners

• Collaboration with Bogdan Warinschi (Bristol University) on soundness of symbolic models w.r.t. cryptographic ones.

• Collaboration with Mark Ryan's group (University of Birmingham) on the formal analysis of e-voting protocols.

• Collaboration with Paliath Narendran's group (SUNY Albany) on automated deduction.

Participation In International Programs

French-Tunisian project on Security Policies and Configurations of Firewalls: Compilation and Automated Verification. We collaborate with SupCom Tunis and the Inria project-team Dahu in the context of STIC-Tunisia.